-
1 tail of a clause
Вычислительная техника: хвост (хорновской) формулы (в языке ПРОЛОГ), хвост хорновской формулы (в языке ПРОЛОГ) -
2 clausal representation
Большой англо-русский и русско-английский словарь > clausal representation
-
3 tail of a clause
Большой англо-русский и русско-английский словарь > tail of a clause
-
4 clausal
1) Общая лексика: клаузула (договорного документа)2) Логика: клаузальный, использующий логические операторы, логический, определяемый с помощью логических операторов, представленный с помощью логических операторов, представленный с помощью логических выражений3) Вычислительная техника: представленный в виде программ на языке ПРОЛОГ -
5 clausal representation
Вычислительная техника: представление знаний в виде программ на языке ПРОЛОГ, представление знаний логическими выражениямиУниверсальный англо-русский словарь > clausal representation
-
6 lament
[lə'ment]1) Общая лексика: ахать, вопить, горевать, горестное стенание, горькие жалобы, горько жаловаться, жалоба, жалобная песнь, жалобы, жаловаться, ныть, оплакать, оплакивать, оплакивать жаловаться, плакать, плач, погребальная песнь, похоронная песнь, рыдания, сетование, сетовать, сокрушаться, стенание, стенания, стенать, элегия, похоронная песнь (часто исполняемая на волынке; тж. funeral lament), посетовать, сожаление2) Компьютерная техника: утверждение3) Религия: похоронная песнь, исполняемая на волынке4) Вычислительная техника: утверждение (в языке Пролог)5) Нефть: глубоко переживать, сожалеть6) Макаров: предложение7) Христианство: скорбеть -
7 resolution principle
1) Компьютерная техника: принцип резолюций2) Вычислительная техника: принцип резолюций (в языке Пролог) -
8 shared variables
1) Компьютерная техника: сцепленная переменная2) Техника: совместно используемые переменные3) Вычислительная техника: сцепленные переменные (в языке Пролог) -
9 unification
[ˌjuːnɪfɪ'keɪʃ(ə)n]1) Общая лексика: объединение2) Военный термин: стандартизация3) Техника: отождествление4) Математика: единение, слитность, унификация5) Юридический термин: создание единообразия6) Лингвистика: унификация языковых форм7) Архитектура: объединение (действие)8) Вычислительная техника: операция унификации (в языке ПРОЛОГ) -
10 unify
['juːnɪfaɪ]1) Общая лексика: сплотить, объединять, унифицировать2) Компьютерная техника: отождествлять4) Лесоводство: выравнивать, делать однородным (по цвету)5) Психология: сплачивать6) Вычислительная техника: выполнять операцию унификации (в языке ПРОЛОГ)7) Макаров: смыкать, выравнивать (по цвету) -
11 clausal representation
представление знаний логическими выражениями; представление знаний в виде программ на языке ПРОЛОГEnglish-Russian dictionary of computer science and programming > clausal representation
-
12 head
1) головка; магнитная головка2) заголовок; рубрика; "шапка"3) дескриптор4) голова; головная часть ( таблицы); голова [левая часть] хорновской формулы ( в языке ПРОЛОГ)•- air-floating head
- ballistic print head
- brush sensing head
- combined head
- contacting head
- contact head
- cut-and-clinch head
- DC erasing head
- document feed head
- double head
- dual-gap rewrite head
- dual-gap write head
- erase head
- erasing head
- fixed head
- floating head
- head-per-track
- magnetic head
- magnetic tape head
- magneto-resistive head
- movable head
- multiple head
- multitrack head
- permanent-magnet erasing head
- playback head
- plotting head
- preread head
- printing head
- print head
- ramp-load head
- read/write head
- reading head
- read head
- read-record head
- recording head
- record head
- reproducing head
- ring-type head
- ring head
- rotating head
- run-in head
- running head
- self-parking head
- sensing head
- servo-positioned head
- seven-dot head
- tandem heads
- two-gap head
- two-split head
- winchester head
- write head
- writing headEnglish-Russian dictionary of computer science and programming > head
-
13 tail of a clause
хвост [правая часть] (хорновской) формулы ( в языке ПРОЛОГ)English-Russian dictionary of computer science and programming > tail of a clause
-
14 unify
унифицировать; выполнять операцию унификации ( в языке ПРОЛОГ)English-Russian dictionary of computer science and programming > unify
-
15 anonymous variable
а) при косвенно-регистровой адресации ( register indirect addressing) ссылка на значение переменной производится не по её имени, а по числовому значению её адреса в памяти. Отсюда и происходит этот терминсм. тж. variableб) скрытая переменная, создаваемая компилятором для выполнения передачи параметров по значению (см. call by value)в языке Пролог такая переменная обозначается символом подчёркивания и применяется, когда её значение не используется в предикатеАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > anonymous variable
-
16 existential quantifier
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > existential quantifier
-
17 resolution principle
English-Russian information technology > resolution principle
-
18 shared variables
-
19 spy point
-
20 Marigold
{"Marigold" – "ноготок" (цветок).} Это цветочное имя и оно подлежит переводу (см. приложение F)."Девочкам хоббиты обычно давали имена цветов или драгоценных камней."Это слово было выбрано потому, что в английском языке оно может быть использовано в качестве имени, и потому, что оно содержит корень "gold" ("золото"), обозначая цветок золотого цвета. В этом содержится намек на то, что в семье Сэма была струя крови Fallohide (см. пролог к "Властелину Колец"),"У Fallohides кожа была белее, а волосы – светлее; они отличались сравнительно высоким ростом и стройностью."которая была усилена благословением Галадриэль и стала заметна в его детях: в особенности в Elanor, но также и в Goldilocks (так иногда называют цветок {А именно – лютик золотистый.}, похожий на белокопытник), ставшей женой наследника Перегрина Тука (Peregrin Took). К сожалению, название соответствующего цветка в языке перевода может оказаться неподходящим по звучанию или смыслу (например, французское "souci"). В этом случае лучше воспользоваться названием какого-либо другого желтого цветка. Шведский переводчик решил эту проблему, воспользовавшись именем Majagull и добавив Ringblom (шведское слово "ringblomma" означает "ноготок"; ср. немецкое "Ringelblume"). Нидерландский переводчик довольствовался Meizoentje ("маргаритка"), что вполне удовлетворительно. Он не включил в свой перевод генеалогические деревья и поэтому не учел, что именем Daisy ("маргаритка") звали сестру Сэма (она была намного старше него), а не подружку детства Rosie Cotton.
- 1
- 2
См. также в других словарях:
Пролог (язык программирования) — У этого термина существуют и другие значения, см. Пролог. Пролог Семантика: логическое программирование Появился в: 1972 Автор(ы): Alain Colmerauer Расширение файлов: .pl .pro .P … Википедия
ПРОЛОГ — (греч., от pro прежде, вперед, и logos слово). 1) введение, предисловие, вступление к сочинению, особенно драматическому. 2) в древнегреческих театрах обращение хора к публики перед началом комедии. 3) церковная книга, содержащая краткие слова на … Словарь иностранных слов русского языка
База знаний — (БЗ; англ. knowledge base, KB) в информатике и исследованиях искусственного интеллекта это особого рода база данных, разработанная для оперирования знаниями (метаданными). База знаний содержит структурированную информацию, покрывающую… … Википедия
Искусственный интеллект — Запрос «ИИ» перенаправляется сюда; см. также другие значения. Искусственный интеллект (ИИ, англ. Artificial intelligence, AI) наука и технология создания интеллектуальных машин, особенно интеллектуальных компьютерных программ. ИИ… … Википедия
ИИ — Искусственный интеллект (ИИ) (англ. Artificial intelligence, AI) это наука и разработка интеллектуальных машин и систем, особенно интеллектуальных компьютерных программ, направленных на то, чтобы понять человеческий интеллект. При этом… … Википедия
Искусственный Интеллект — (ИИ) (англ. Artificial intelligence, AI) это наука и разработка интеллектуальных машин и систем, особенно интеллектуальных компьютерных программ, направленных на то, чтобы понять человеческий интеллект. При этом используемые методы не обязаны… … Википедия
Подходы к пониманию проблемы искусственного интеллекта — Искусственный интеллект (ИИ) (англ. Artificial intelligence, AI) это наука и разработка интеллектуальных машин и систем, особенно интеллектуальных компьютерных программ, направленных на то, чтобы понять человеческий интеллект. При этом… … Википедия
Метапрограммирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Экспертная система — (ЭС, англ. expert system) компьютерная система, способная частично заменить специалиста эксперта в разрешении проблемной ситуации. Современные ЭС начали разрабатываться исследователями искусственного интеллекта в 1970 х годах, а в 1980 … Википедия
Экспертные системы — Экспертная система (ЭС, expert system) компьютерная программа, способная заменить специалиста эксперта в разрешении проблемной ситуации. ЭС начали разрабатываться исследователями искусственного интеллекта в 1970 х годах, а в 1980 х получили… … Википедия
Присваивание — Присваивание механизм в программировании, позволяющий динамически изменять связи объектов данных (как правило, переменных) с их значениями. Строго говоря, изменение значений является побочным эффектом операции присвоения, и во многих… … Википедия